Optimal. Leaf size=251 \[ \frac{1}{6} f^2 x^6 \log \left (c \left (d+e x^2\right )^p\right )+\frac{1}{4} f g x^8 \log \left (c \left (d+e x^2\right )^p\right )+\frac{1}{10} g^2 x^{10} \log \left (c \left (d+e x^2\right )^p\right )-\frac{p \left (d+e x^2\right )^3 \left (6 d^2 g^2-6 d e f g+e^2 f^2\right )}{18 e^5}+\frac{d^3 p \left (6 d^2 g^2-15 d e f g+10 e^2 f^2\right ) \log \left (d+e x^2\right )}{60 e^5}-\frac{d^2 p x^2 (e f-d g)^2}{2 e^4}-\frac{g p \left (d+e x^2\right )^4 (e f-2 d g)}{16 e^5}+\frac{d p \left (d+e x^2\right )^2 (e f-2 d g) (e f-d g)}{4 e^5}-\frac{g^2 p \left (d+e x^2\right )^5}{50 e^5} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.470699, antiderivative size = 251, normalized size of antiderivative = 1., number of steps used = 5, number of rules used = 5, integrand size = 25, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.2, Rules used = {2475, 43, 2414, 12, 893} \[ \frac{1}{6} f^2 x^6 \log \left (c \left (d+e x^2\right )^p\right )+\frac{1}{4} f g x^8 \log \left (c \left (d+e x^2\right )^p\right )+\frac{1}{10} g^2 x^{10} \log \left (c \left (d+e x^2\right )^p\right )-\frac{p \left (d+e x^2\right )^3 \left (6 d^2 g^2-6 d e f g+e^2 f^2\right )}{18 e^5}+\frac{d^3 p \left (6 d^2 g^2-15 d e f g+10 e^2 f^2\right ) \log \left (d+e x^2\right )}{60 e^5}-\frac{d^2 p x^2 (e f-d g)^2}{2 e^4}-\frac{g p \left (d+e x^2\right )^4 (e f-2 d g)}{16 e^5}+\frac{d p \left (d+e x^2\right )^2 (e f-2 d g) (e f-d g)}{4 e^5}-\frac{g^2 p \left (d+e x^2\right )^5}{50 e^5} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2475
Rule 43
Rule 2414
Rule 12
Rule 893
Rubi steps
\begin{align*} \int x^5 \left (f+g x^2\right )^2 \log \left (c \left (d+e x^2\right )^p\right ) \, dx &=\frac{1}{2} \operatorname{Subst}\left (\int x^2 (f+g x)^2 \log \left (c (d+e x)^p\right ) \, dx,x,x^2\right )\\ &=\frac{1}{6} f^2 x^6 \log \left (c \left (d+e x^2\right )^p\right )+\frac{1}{4} f g x^8 \log \left (c \left (d+e x^2\right )^p\right )+\frac{1}{10} g^2 x^{10} \log \left (c \left (d+e x^2\right )^p\right )-\frac{1}{2} (e p) \operatorname{Subst}\left (\int \frac{x^3 \left (10 f^2+15 f g x+6 g^2 x^2\right )}{30 (d+e x)} \, dx,x,x^2\right )\\ &=\frac{1}{6} f^2 x^6 \log \left (c \left (d+e x^2\right )^p\right )+\frac{1}{4} f g x^8 \log \left (c \left (d+e x^2\right )^p\right )+\frac{1}{10} g^2 x^{10} \log \left (c \left (d+e x^2\right )^p\right )-\frac{1}{60} (e p) \operatorname{Subst}\left (\int \frac{x^3 \left (10 f^2+15 f g x+6 g^2 x^2\right )}{d+e x} \, dx,x,x^2\right )\\ &=\frac{1}{6} f^2 x^6 \log \left (c \left (d+e x^2\right )^p\right )+\frac{1}{4} f g x^8 \log \left (c \left (d+e x^2\right )^p\right )+\frac{1}{10} g^2 x^{10} \log \left (c \left (d+e x^2\right )^p\right )-\frac{1}{60} (e p) \operatorname{Subst}\left (\int \left (\frac{30 d^2 (-e f+d g)^2}{e^5}-\frac{d^3 \left (10 e^2 f^2-15 d e f g+6 d^2 g^2\right )}{e^5 (d+e x)}+\frac{30 d (e f-2 d g) (-e f+d g) (d+e x)}{e^5}+\frac{10 \left (e^2 f^2-6 d e f g+6 d^2 g^2\right ) (d+e x)^2}{e^5}+\frac{15 g (e f-2 d g) (d+e x)^3}{e^5}+\frac{6 g^2 (d+e x)^4}{e^5}\right ) \, dx,x,x^2\right )\\ &=-\frac{d^2 (e f-d g)^2 p x^2}{2 e^4}+\frac{d (e f-2 d g) (e f-d g) p \left (d+e x^2\right )^2}{4 e^5}-\frac{\left (e^2 f^2-6 d e f g+6 d^2 g^2\right ) p \left (d+e x^2\right )^3}{18 e^5}-\frac{g (e f-2 d g) p \left (d+e x^2\right )^4}{16 e^5}-\frac{g^2 p \left (d+e x^2\right )^5}{50 e^5}+\frac{d^3 \left (10 e^2 f^2-15 d e f g+6 d^2 g^2\right ) p \log \left (d+e x^2\right )}{60 e^5}+\frac{1}{6} f^2 x^6 \log \left (c \left (d+e x^2\right )^p\right )+\frac{1}{4} f g x^8 \log \left (c \left (d+e x^2\right )^p\right )+\frac{1}{10} g^2 x^{10} \log \left (c \left (d+e x^2\right )^p\right )\\ \end{align*}
Mathematica [A] time = 0.171382, size = 205, normalized size = 0.82 \[ \frac{60 e^5 x^6 \left (10 f^2+15 f g x^2+6 g^2 x^4\right ) \log \left (c \left (d+e x^2\right )^p\right )-e p x^2 \left (30 d^2 e^2 \left (20 f^2+15 f g x^2+4 g^2 x^4\right )-180 d^3 e g \left (5 f+g x^2\right )+360 d^4 g^2-30 d e^3 x^2 \left (10 f^2+10 f g x^2+3 g^2 x^4\right )+e^4 x^4 \left (200 f^2+225 f g x^2+72 g^2 x^4\right )\right )+60 d^3 p \left (6 d^2 g^2-15 d e f g+10 e^2 f^2\right ) \log \left (d+e x^2\right )}{3600 e^5} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] time = 0.585, size = 687, normalized size = 2.7 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.02508, size = 301, normalized size = 1.2 \begin{align*} -\frac{1}{3600} \, e p{\left (\frac{72 \, e^{4} g^{2} x^{10} + 45 \,{\left (5 \, e^{4} f g - 2 \, d e^{3} g^{2}\right )} x^{8} + 20 \,{\left (10 \, e^{4} f^{2} - 15 \, d e^{3} f g + 6 \, d^{2} e^{2} g^{2}\right )} x^{6} - 30 \,{\left (10 \, d e^{3} f^{2} - 15 \, d^{2} e^{2} f g + 6 \, d^{3} e g^{2}\right )} x^{4} + 60 \,{\left (10 \, d^{2} e^{2} f^{2} - 15 \, d^{3} e f g + 6 \, d^{4} g^{2}\right )} x^{2}}{e^{5}} - \frac{60 \,{\left (10 \, d^{3} e^{2} f^{2} - 15 \, d^{4} e f g + 6 \, d^{5} g^{2}\right )} \log \left (e x^{2} + d\right )}{e^{6}}\right )} + \frac{1}{60} \,{\left (6 \, g^{2} x^{10} + 15 \, f g x^{8} + 10 \, f^{2} x^{6}\right )} \log \left ({\left (e x^{2} + d\right )}^{p} c\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.08771, size = 582, normalized size = 2.32 \begin{align*} -\frac{72 \, e^{5} g^{2} p x^{10} + 45 \,{\left (5 \, e^{5} f g - 2 \, d e^{4} g^{2}\right )} p x^{8} + 20 \,{\left (10 \, e^{5} f^{2} - 15 \, d e^{4} f g + 6 \, d^{2} e^{3} g^{2}\right )} p x^{6} - 30 \,{\left (10 \, d e^{4} f^{2} - 15 \, d^{2} e^{3} f g + 6 \, d^{3} e^{2} g^{2}\right )} p x^{4} + 60 \,{\left (10 \, d^{2} e^{3} f^{2} - 15 \, d^{3} e^{2} f g + 6 \, d^{4} e g^{2}\right )} p x^{2} - 60 \,{\left (6 \, e^{5} g^{2} p x^{10} + 15 \, e^{5} f g p x^{8} + 10 \, e^{5} f^{2} p x^{6} +{\left (10 \, d^{3} e^{2} f^{2} - 15 \, d^{4} e f g + 6 \, d^{5} g^{2}\right )} p\right )} \log \left (e x^{2} + d\right ) - 60 \,{\left (6 \, e^{5} g^{2} x^{10} + 15 \, e^{5} f g x^{8} + 10 \, e^{5} f^{2} x^{6}\right )} \log \left (c\right )}{3600 \, e^{5}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.3058, size = 721, normalized size = 2.87 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]